A Pedra Fundamental: Continuidade de Lipschitz
Para controlar como os erros se propagam, precisamos de uma função $f(t, y)$ que não "pule" de forma excessiva. Isso é formalizado pela Condição de Lipschitz.
Uma função $f(t, y)$ satisfaz uma condição de Lipschitz na variável $y$ em um conjunto $D \subset \mathbb{R}^2$ se existe uma constante $L > 0$ tal que:
$$|f(t, y_1) - f(t, y_2)| \le L|y_1 - y_2|$$
para todos os $(t, y_1), (t, y_2) \in D$. Essa constante $L$ é o "limite de velocidade" para a mudança vertical da função.
Exemplo 1: Análise de Constantes de Lipschitz
Considere $f(t, y) = t|y|$ no conjunto $D = \{(t, y) \mid 1 \le t \le 2, -3 \le y \le 4\}$. Pelo Teorema do Valor Médio (ou propriedades dos valores absolutos):
$|f(t, y_1) - f(t, y_2)| = |t|y_1| - t|y_2|| = |t| \cdot ||y_1| - |y_2|| \le |t| \cdot |y_1 - y_2|$.
Como o valor máximo de $t$ em nosso domínio é 2, a constante de Lipschitz é $L=2$.
Integridade Geométrica do Domínio
Não podemos resolver um PVI em um domínio cheio de buracos. Exigimos Convexidade.
Um conjunto $D$ é convexo se, para quaisquer dois pontos $(t_1, y_1)$ e $(t_2, y_2)$, o segmento definido por:
$$((1 - \lambda)t_1 + \lambda t_2, (1 - \lambda)y_1 + \lambda y_2)$$
para $\lambda \in [0, 1]$ também está contido em $D$. Isso garante que nenhuma parte do caminho da solução "saia" da zona válida de cálculo.
Teorema da Existência e Unicidade
Quando essas condições se alinham, invocamos Teorema 5.4: Se $f$ for contínua e satisfizer uma condição de Lipschitz em um conjunto convexo $D$, então o PVI $y' = f(t, y), y(a) = \alpha$ tem uma única solução $y(t)$. Isso justifica métodos tão simples quanto o de Euler ($w_{i+1} = w_i + h f(t_i, w_i)$) ou tão complexos quanto a lógica preditor-corretor:
$WC = w_{i-1} + \frac{h}{24}[9f(t_i, WP) + 19f(t_{i-1}, w_{i-1}) - 5f(t_{i-2}, w_{i-2}) + f(t_{i-3}, w_{i-3})]$.